$\forall$${\it es}$:ES, ${\it e'}$:E. hasloc(kind(${\it e'}$);loc(${\it e'}$))